00100 PF <- EXPR(;NONE) 00200 BEGIN 00300 ZOWIE(); 00400 FAIL(); 00500 END; 00600 00700 ZOWIE <- EXPR(;NONE) 00800 BEGIN 00900 DECL I:INT; 01000 I←0; 01100 TAG("A"); 01200 I=0 =>BEGIN PRINT ('FOO');I←2;GOTO L; END; 01300 PRINT ('BAR'); 01350 UNTAG(); 01400 L: 2; 01450 END; 01500 PF(); 01600